New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Bump monad bayes to 1.2.0 #271

Merged

turion merged 2 commits into master from dev_bump_monad-bayes

Jan 5, 2024

Owner

turion commented Jan 5, 2024 •

edited

Loading

Merge Change Stdin clock to text #269 first
Merge Improve CI #272 first

turion force-pushed the dev_bump_monad-bayes branch 2 times, most recently from c69b407 to fc1a0d9 Compare

January 5, 2024 18:11

turion added 2 commits

January 5, 2024 19:58


          Bump monad-bayes to 1.2.0

0288be5


          Bump flake

f420290

turion force-pushed the dev_bump_monad-bayes branch from fc1a0d9 to f420290 Compare

January 5, 2024 18:58

turion enabled auto-merge

January 5, 2024 19:00

turion merged commit 0ec5e8c into master

12 checks passed

turion deleted the dev_bump_monad-bayes branch

January 5, 2024 19:11

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet